首页> 外文OA文献 >Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods

【2h】

Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods

机译：基于NASA群的系统建模：使用面向代理的软件工程和形式化方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

peer-reviewed

机译：同行评审

著录项

作者
Pena, Joaquin; Rouff, Christopher; Hinchey, Mike; Ruiz-Cortes, Antonio;
展开▼
作者单位

展开▼
年度 2011
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods [J] . Joaquin Pefia, Christopher A. Rouff, Mike Hinchey, Software and systems modeling . 2011,第1期

机译：基于NASA群的系统建模：使用面向代理的软件工程和形式化方法
2. Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods [J] . JAN TRETMANS, KLAAS WIJBRANS, MICHEL CHAUDRON Formal Methods in System Design . 2001,第2期

机译：正式方法的软件工程：风暴潮屏障控制系统的开发，重新审视了正式方法的七个神话
3. Motivation for a new formal framework for agent-oriented software engineering [J] . R. Ahmad, S. Rahimi International journal of agent-oriented software engineering . 2009,第2a3期

机译：建立面向代理的软件工程的新正式框架的动机
4. Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems [C] . Rouff, C.A., Hinchey, . 2007

机译：使用形式化方法和面向代理的软件工程为基于NASA Swarm的系统建模
5. A statistical approach for evaluating agent-oriented software engineering methodologies [D] . Elamy, Abdel-Halim Hafez 2006

机译：一种用于评估面向代理的软件工程方法的统计方法
6. Characteristics of mathematical modeling languages that facilitate model reuse in systems biology: a software engineering perspective [O] . Christopher Schölzel, Valeria Blesius, Gernot Ernst, 2021

机译：促进系统生物学模型重用的数学建模语言的特征：软件工程视角
7. Modeling NASA Swarm-Based Systems: Using Formal Methods and Agent-Oriented Software Engineering [O] . Rouff Christopher A., Peña Siles Joaquín, Hinchey Michael G., 2007

机译：基于NASA Swarm的系统建模：使用形式化方法和面向代理的软件工程

Modeling NASA swarm-based systems:using agent-oriented software engineering and formal methods

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅